Franck van Breugel: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Preface

Alessandro Aldini, Franck van Breugel

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 100 KB

english, 2007

2

A behavioural pseudometric for probabilistic transition systems

Franck van Breugel, James Worrell

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 352 KB

english, 2005

3

Domain theory, testing and simulation for labelled Markov processes

Franck van Breugel, Michael Mislove, Joël Ouaknine, James Worrell

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 349 KB

english, 2005

4

Approximating and computing behavioural distances in probabilistic transition systems

Franck van Breugel, James Worrell

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 250 KB

english, 2006

5

Recursively defined metric spaces without contraction

Franck van Breugel, Claudio Hermida, Michael Makkai, James Worrell

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 447 KB

english, 2007

6

Isometries between a metric space and its hyperspace, function space, and space of measures

Franck van Breugel, Camillo Costantini, Stephen Watson

Journal:

Topology and its Applications

Year:

2004

Language:

english

File:

PDF, 163 KB

english, 2004

7

An introduction to metric semantics: operational and denotational models for programming and specification languages

Franck van Breugel

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 529 KB

english, 2001

8

Terminal metric spaces of finitely branching and image finite linear processes

Franck van Breugel

Journal:

Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 499 KB

english, 1998

9

Failures, Finiteness and Full Abstraction

Franck van Breugel

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 1.08 MB

english, 1997

10

A Note on Hyperspaces and Terminal Coalgebras

Franck van Breugel, Stephen Watson

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 130 KB

english, 1999

11

A Theory of Metric Labelled Transition Systems

FRANCK VAN BREUGEL

Journal:

Annals of the New York Academy of Sciences

Year:

1996

Language:

english

File:

PDF, 717 KB

english, 1996

12

De Bakker–Zucker processes revisited

Franck van Breugel

Journal:

Information and Computation

Year:

2004

Language:

english

File:

PDF, 172 KB

english, 2004

13

19th International Conference on Concurrency Theory

Franck van Breugel, Marsha Chechik

Journal:

Information and Computation

Year:

2010

Language:

english

File:

PDF, 168 KB

english, 2010

14

On behavioural pseudometrics and closure ordinals

Franck van Breugel

Journal:

Information Processing Letters

Year:

2012

Language:

english

File:

PDF, 137 KB

english, 2012

15

Modelling and verifying web service orchestration by means of the concurrency workbench

Koshkina, Mariya, van Breugel, Franck

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2004

Language:

english

File:

PDF, 234 KB

english, 2004

16

[Lecture Notes in Computer Science] Horizons of the Mind. A Tribute to Prakash Panangaden Volume 8464 ||

van Breugel, Franck, Kashefi, Elham, Palamidessi, Catuscia, Rutten, Jan

Year:

2014

Language:

english

File:

PDF, 19.40 MB

english, 2014

17

Addendum to “Recursively defined metric spaces without contraction” [Theoret. Comput. Sci. 380 (1/2) (2007) 143–163]

van Breugel, Franck, Hermida, Claudio, Makkai, Michael, Worrell, James

Journal:

Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 364 KB

english, 2013

18

Liste des membres des Sociétés de Chirurgie de la Main, Française, Belge, Helvétique et Canadienne

van Breugel, Franck, Hermida, Claudio, Makkai, Michael, Worrell, James

Journal:

Annales de Chirurgie de la Main

Year:

1984

File:

PDF, 603 KB

1984

19

[IEEE 2010 Seventh International Conference on the Quantitative Evaluation of Systems (QEST) - Williamsburg, VA, USA (2010.09.15-2010.09.18)] 2010 Seventh International Conference on the Quantitative Evaluation of Systems - Model Checking Randomized Algorithms with Java PathFinder

Zhang, Xin, Breugel, Franck van

Year:

2010

Language:

english

File:

PDF, 191 KB

english, 2010

20

[IEEE 2013 3rd International Workshop on Games and Software Engineering - Engineering Computer Games to Enable Positive, Progressive Change (GAS) - San Francisco, CA, USA (2013.05.18-2013.05.18)] 2013 3rd International Workshop on Games and Software Engineering: Engineering Computer Games to Enable Positive, Progressive Change (GAS) - Towards model checking of computer games with Java PathFinder

Shafiei, Nastaran, van Breugel, Franck

Year:

2013

Language:

english

File:

PDF, 279 KB

english, 2013

21

[ACM Press the 2014 International SPIN Symposium - San Jose, CA, USA (2014.07.21-2014.07.23)] Proceedings of the 2014 International SPIN Symposium on Model Checking of Software - SPIN 2014 - Automatic handling of native methods in Java PathFinder

Shafiei, Nastaran, Breugel, Franck van

Year:

2014

Language:

english

File:

PDF, 241 KB

english, 2014

22

[ACM Press Proceeding of the 29th ACM SIGACT-SIGOPS symposium - Zurich, Switzerland (2010.07.25-2010.07.28)] Proceeding of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing - PODC '10 - Non-blocking binary search trees

Ellen, Faith, Fatourou, Panagiota, Ruppert, Eric, van Breugel, Franck

Year:

2010

Language:

english

File:

PDF, 416 KB

english, 2010

23

[ACM Press the 26th ACM SIGSOFT International Symposium - Santa Barbara, CA, USA (2017.07.10-2017.07.14)] Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2017 - ArtForm: a tool for exploring the codebase of form-based websites

Spencer, Ben, Benedikt, Michael, Møller, Anders, Breugel, Franck van

Year:

2017

Language:

english

File:

PDF, 1.11 MB

english, 2017

24

[Lecture Notes in Computer Science] CONCUR 2008 - Concurrency Theory Volume 5201 || Structured Interactional Exceptions in Session Types

van Breugel, Franck, Chechik, Marsha

Year:

2008

Language:

english

File:

PDF, 273 KB

english, 2008

25

Deciding probabilistic bisimilarity distance one for probabilistic automata

Tang, Qiyi, van Breugel, Franck

Journal:

Journal of Computer and System Sciences

Year:

2020

File:

PDF, 675 KB

2020